contravariant refinement - определение. Что такое contravariant refinement
Diclib.com
Словарь онлайн

Что (кто) такое contravariant refinement - определение

R-refinement; R refinement; Mesh refinement; H-refinement; P refinement; Adaptive refinement mesh; Adaptive Mesh Refinement

Refinement (computing)         
APPROACHES FOR PRODUCING CORRECT COMPUTER PROGRAMS AND SIMPLIFYING EXISTING PROGRAMS TO ENABLE THEIR FORMAL VERIFICATION
Program Refinement; Data refinement; Operation refinement; Program refinement
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
refinement         
WIKIMEDIA DISAMBIGUATION PAGE
Refinement (disambiguation); Refiment
n.
1.
Clarification, purification, filtration, defecation, sublimation.
2.
Improvement.
3.
Elegance, polish, purity, delicacy, cultivation, civility, civilization, culture, politeness, gentility, good-breeding.
4.
Subtilty, nicety, fineness, delicacy.
5.
Subtilty, finesse, sophistry, artifice, nicety.
refinement         
WIKIMEDIA DISAMBIGUATION PAGE
Refinement (disambiguation); Refiment
(refinements)
1.
Refinements are small changes or additions that you make to something in order to improve it. Refinement is the process of making refinements.
Older cars inevitably lack the latest safety refinements.
N-VAR
2.
Refinement is politeness and good manners.
...a girl who possessed both dignity and refinement.
N-UNCOUNT

Википедия

Adaptive mesh refinement

In numerical analysis, adaptive mesh refinement (AMR) is a method of adapting the accuracy of a solution within certain sensitive or turbulent regions of simulation, dynamically and during the time the solution is being calculated. When solutions are calculated numerically, they are often limited to pre-determined quantified grids as in the Cartesian plane which constitute the computational grid, or 'mesh'. Many problems in numerical analysis, however, do not require a uniform precision in the numerical grids used for graph plotting or computational simulation, and would be better suited if specific areas of graphs which needed precision could be refined in quantification only in the regions requiring the added precision. Adaptive mesh refinement provides such a dynamic programming environment for adapting the precision of the numerical computation based on the requirements of a computation problem in specific areas of multi-dimensional graphs which need precision while leaving the other regions of the multi-dimensional graphs at lower levels of precision and resolution.

This dynamic technique of adapting computation precision to specific requirements has been accredited to Marsha Berger, Joseph Oliger, and Phillip Colella who developed an algorithm for dynamic gridding called local adaptive mesh refinement. The use of AMR has since then proved of broad use and has been used in studying turbulence problems in hydrodynamics as well as in the study of large scale structures in astrophysics as in the Bolshoi Cosmological Simulation.